Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields
نویسندگان
چکیده
منابع مشابه
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields
In this paper we give a differential lifting principle which provides a general method to geometrically axiomatize the model companion (if it exists) of some theories of differential topological fields. The topological fields we consider here are in fact topological systems in the sense of [vdD1, 2.11], and the lifting principle we develop is a generalization of the geometric axiomatization of ...
متن کاملOn Model Complete Differential Fields
We develop a geometric approach to definable sets in differentially closed fields, with emphasis on the question of orthogonality to a given strongly minimal set. Equivalently, within a family of ordinary differential equations, we consider those equations that can be transformed, by differential-algebraic transformations, so as to yield solutions of a given fixed first-order ODE X. We show tha...
متن کاملA sound and complete axiomatization for Dynamic Topological Logic
Dynamic Topological Logic (DT L) is a multimodal system for reasoning about dynamical systems. It is defined semantically and, as such, most of the work done in the field has been model-theoretic. In particular, the problem of finding a complete axiomatization for the full language of DT L over the class of all dynamical systems has proven to be quite elusive. Here we propose to enrich the lang...
متن کاملA Complete Axiomatization of Differential Game Logic for Hybrid Games
Differential game logic (dGL) is a logic for specifying and verifying properties of hybrid games, i.e. games that combine discrete, continuous, and adversarial dynamics. Unlike hybrid systems, hybrid games allow choices in the system dynamics to be resolved adversarially by different players with different objectives. The logic dGL can be used to study the existence of winning strategies for su...
متن کاملTopological differential fields
We consider first-order theories of topological fields admitting a modelcompletion and their expansion to differential fields (requiring no interaction between the derivation and the other primitives of the language). We give a criterion under which the expansion still admits a model-completion which we axiomatize. It generalizes previous results due to M. Singer for ordered differential fields...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2006
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1163775440